State Based Encapsulation and Generics
نویسندگان
چکیده
A properly encapsulated data representation can be revised without affecting the correctness of client programs and extensions but encapsulation is difficult to achieve for heap based structures and object-oriented (OO) programs with reentrant callbacks. Building on a discipline that uses assertions and auxiliary fields to manage invariants and transferrable ownership, we give a rule for modular reasoning based on simulations. This representation independence result is proved for a sequential OO language with recursive, generic classes.
منابع مشابه
SUAVE: Object-Oriented and Genericity Extensions to VHDL for High-Level Modeling
The SUAVE project aims to introduce object-oriented and genericity extensions into VHDL in a way that does not disturb the existing language or its use. Designers regularly define abstract data types by using aspects of VHDL’s type system, subprograms, and packages. They also use VHDL’s genericity mechanism to parameterize component and entity declarations with formal generic constants. The SUA...
متن کاملEncyclopedia of Language and Linguistics Second Edition
Generics, habituals, and iteratives all have something to do with the notion of event repetition. However, iteratives expressly state repetition of events, whereas generics and habituals designate generalizations over repeatedevents. Though not adhered to uniformly, a ‘habitual’ sentence makes a generalization over repeated events withsubject noun phrases denoting individuals or groups ...
متن کاملOn assessing bioequivalence and interchangeability between generics based on indirect comparisons.
As more and more generics become available in the market place, the safety/efficacy concerns may arise as the result of interchangeably use of approved generics. However, bioequivalence assessment for regulatory approval among generics of the innovative drug product is not required. In practice, approved generics are often used interchangeably without any mechanism of safety monitoring. In this...
متن کاملOwnership Domains in the Real World
The Ownership Domains type system has had publicly available tool support for a few years. However, the previous implementation used non-backwards compatible language extensions to Java and ran on a research infrastructure, which made it difficult to conduct substantial case studies on interesting systems. We first present a re-implementation of ownership domains using Java 1.5 annotations and ...
متن کاملConceptual distinctions amongst generics.
Generic sentences (e.g., bare plural sentences such as "dogs have four legs" and "mosquitoes carry malaria") are used to talk about kinds of things. Three experiments investigated the conceptual foundations of generics as well as claims within the formal semantic approaches to generics concerning the roles of prevalence, cue validity and normalcy in licensing generics. Two classes of generic se...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004